Filtros : "IME" "Brazilian Conference on Intelligent Systems - BRACIS" Removido: "GONCALVES, JAIRO ZACARIAS" Limpar

Filtros



Refine with date range


  • Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME

    Subjects: PROGRAMAÇÃO LÓGICA, RACIOCÍNIO PROBABILÍSTICO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MORAIS, Eduardo Menezes de e FINGER, Marcelo. Probabilistic answer set programming. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.33. Acesso em: 01 maio 2024.
    • APA

      Morais, E. M. de, & Finger, M. (2013). Probabilistic answer set programming. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.33
    • NLM

      Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2024 maio 01 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
    • Vancouver

      Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2024 maio 01 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
  • Source: Anais. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME

    Assunto: GERAÇÃO DE PLANOS EM INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MENEZES, Maria Viviane de e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Regressão de ações não determinísticas: uma solução simbólica. 2013, Anais.. Porto Alegre: SBC, 2013. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf. Acesso em: 01 maio 2024.
    • APA

      Menezes, M. V. de, Barros, L. N. de, & Pereira, S. do L. (2013). Regressão de ações não determinísticas: uma solução simbólica. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
    • NLM

      Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 maio 01 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
    • Vancouver

      Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2024 maio 01 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf
  • Source: Anais. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME

    Assunto: ONTOLOGIA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GALEGO, Eduardo Ferreira e WASSERMANN, Renata. Extração e consulta de informações do currículo Lattes baseadas em ontologias. 2013, Anais.. Porto Alegre: SBC, 2013. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf. Acesso em: 01 maio 2024.
    • APA

      Galego, E. F., & Wassermann, R. (2013). Extração e consulta de informações do currículo Lattes baseadas em ontologias. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf
    • NLM

      Galego EF, Wassermann R. Extração e consulta de informações do currículo Lattes baseadas em ontologias [Internet]. Anais. 2013 ;[citado 2024 maio 01 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf
    • Vancouver

      Galego EF, Wassermann R. Extração e consulta de informações do currículo Lattes baseadas em ontologias [Internet]. Anais. 2013 ;[citado 2024 maio 01 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0043.pdf
  • Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: EP, IME

    Assunto: LÓGICA FORMAL

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.38. Acesso em: 01 maio 2024.
    • APA

      De Bona, G., Cozman, F. G., & Finger, M. (2013). Generalized probabilistic satisfiability. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.38
    • NLM

      De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 maio 01 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
    • Vancouver

      De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2024 maio 01 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
  • Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EACH

    Assunto: PROCESSOS DE MARKOV

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BARROS, Leliane Nunes de e FRANCO, Fábio de Oliveira e DELGADO, Karina Valdivia. Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. 2012, Anais.. Porto Alegre: SBC, 2012. . Acesso em: 01 maio 2024.
    • APA

      Barros, L. N. de, Franco, F. de O., & Delgado, K. V. (2012). Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. In Proceedings. Porto Alegre: SBC.
    • NLM

      Barros LN de, Franco F de O, Delgado KV. Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. Proceedings. 2012 ;[citado 2024 maio 01 ]
    • Vancouver

      Barros LN de, Franco F de O, Delgado KV. Processo de decisão Markoviano com transição valorada por conjunto modelado como um Jogo alternado de soma zero. Proceedings. 2012 ;[citado 2024 maio 01 ]

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024